error correction rule